#include <defines.h>


int ATTRIBUTE_EXPORT ATTRIBUTE_NOINLINE harness(const char* fp);

int ATTRIBUTE_EXPORT ATTRIBUTE_NOINLINE harness_inner(const char* buf, size_t size, int digits);